a (analysis) (context|of a Borel set) That its measure is equal to the infimum of the measures of all open sets which contain it.